(0 20 17)(1 15 3)(2 7 4)(5 11 6)(8 13 10)(9 18 16)(12 19 14)
ALLOWS (11/8)-SEQUENCE
1: (0 11 17)
(0)(1 15 3)(2 7 4)(5 11 20 17 6)(8 13 10)(9 18 16)(12 19 14)
2: (9 18 16)
(0)(1 15 3)(2 7 4)(5 11 20 17 6)(8 13 10)(9)(12 19 14)(16)(18)
3: (8 13 10)
(0)(1 15 3)(2 7 4)(5 11 20 17 6)(8)(9)(10)(12 19 14)(13)(16)(18)
4: (6 20 17)
(0)(1 15 3)(2 7 4)(5 11 20)(6)(8)(9)(10)(12 19 14)(13)(16)(17)(18)